First-order logic - PDFSEARCH.IO - Document Search Engine

First-order logic
Results: 1172

#	Item
891	Functional Programming and Specification Lecture Note 5, 15 March 2011 Proving that a structure meets its specification The problem of verifying that a structure without substructures satisfies its specification is just Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2011-03-15 06:23:49 Z notation Constructible universe Axiom S Universal quantification Axioms of set theory Axiom schema of replacement First-order logic Mathematical logic Logic Mathematics
892	Making Too Much of Possible Worlds John Woods Add to Reading List Source URL: www.johnwoods.ca Language: English - Date: 2014-01-08 11:28:03 Philosophical logic Model theory Propositional calculus Philosophy of language Counterfactual conditional Possible world Interpretation First-order logic Impossible world Logic Mathematical logic Modal logic
893	Axiomatic Set Theory January 14, [removed]Introduction Add to Reading List Source URL: people.maths.ox.ac.uk Language: English - Date: 2013-01-14 07:01:03 Model theory Z notation Functions and mappings Constructible universe Interpretation First-order logic Function Zermelo–Fraenkel set theory Symbol Mathematical logic Logic Mathematics
894	Vajra Logic and Mathematical Meta-models for Meta-systems Engineering Notes on the Foundations of Emergent Meta-systems Theory and Practice Kent D. Palmer, Ph.D. Box 1632, Orange, CA[removed]USA [removed] Add to Reading List Source URL: archonic.net Language: English - Date: 2014-02-16 19:40:45 Non-classical logic Philosophical logic Model theory Logic in computer science Meta-system Modal logic Interpretation First-order logic Formal verification Logic Mathematical logic Mathematics
895	A Semantic Variant of the Modified Problem Reduction Format • • Add to Reading List Source URL: www.cs.unc.edu Language: English - Date: 2012-03-14 03:24:01 Automated theorem proving Resolution Unit propagation Clause Logic programming IP Prolog Modal logic First-order logic Logic Theoretical computer science Mathematical logic
896	MEMICS[removed]A Practical Approach to Courcelle’s Theorem 1 Add to Reading List Source URL: tcs.rwth-aachen.de Language: English - Date: 2010-01-20 04:43:33 Graph operations Tree decomposition Path decomposition First-order logic Tree FO Minor Model theory Dynamic programming Graph theory Mathematics Theoretical computer science
897	TOPOLOGY AND MODALITY: THE TOPOLOGICAL INTERPRETATION OF FIRST-ORDER MODAL LOGIC STEVE AWODEY AND KOHEI KISHIDA Abstra t. As M Kinsey and Tarski showed, the Stone representation theorem for Boolean algebras extends to al Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Modal logic Non-classical logic Interpretation Logic Philosophical logic Model theory
898	An extended model of natural logic Bill MacCartney and Christopher D. Manning Abstract We propose a model of natural language inference which identifies valid inferences by their lexical and syntactic features, without f Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2008-12-01 16:54:33 Semantics Model theory Logical consequence Predicate logic Entailment First-order logic Textual entailment Quantification Interpretation Logic Mathematical logic Philosophical logic
899	Generalized Topological Semantics for First-Order Modal Logic Kohei Kishida 1 Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:30 Model theory Philosophical logic Philosophy of language Kripke semantics Interpretation First-order logic Epistemic modal logic Classical logic Proposition Logic Mathematical logic Modal logic
900	The Bulletin of Symbolic Logic Volume 13, Number 3, Sept[removed]RELATING FIRST-ORDER SET THEORIES AND ELEMENTARY TOPOSES Add to Reading List Source URL: www.andrew.cmu.edu Language: English - Date: 2014-06-01 15:27:23 Model theory Z notation Predicate logic Sheaf theory Topos Axiom schema of replacement Constructive set theory First-order logic Zermelo–Fraenkel set theory Mathematical logic Logic Mathematics

UPDATE